(*
 * Copyright 2014, General Dynamics C4 Systems
 *
 * SPDX-License-Identifier: GPL-2.0-only
 *)

with_quick_and_dirty_use_thy "BuildRefineCache_C";

